منابع مشابه
Taking an object-centric view on dynamic information with object flow analysis
A large body of research analyzes the runtime execution of a system to extract abstract behavioral views. Those approaches primarily analyze control flow by tracing method execution events or they analyze object graphs of heap memory snapshots. However, they do not capture how objects are passed through the system at runtime. We refer to the exchange of objects as the object flow, and we claim ...
متن کاملData Flow Analysis Driven Dynamic
The use of distributed memory architectures as an eeective approach to parallel computing brings with it a more complex program development process. Finding a partitioning of program code and data that supports suucient parallelism without incurring prohibitive communication costs is a challenging and critical step in the development of programs for distributed memory systems. Automatic data di...
متن کاملSecure Object Flow Analysis for Java Card
The access control exercised by the Java Card firewall can be bypassed by the use of shareable objects. To help detecting unwanted access to objects, we propose a static analysis that calculates a safe approximation of the possible flow of objects between Java Card applets. The analysis deals with a subset of the Java Card bytecode focusing on aspects of the Java Card firewall, method invocatio...
متن کاملObject-based Control/Data-flow Analysis
Not only does a clear distinction between control and data flow enhance the readability of models, but it also allows different tools to operate on the two distinct parts of the model. This paper shows how the modelling based on control/data-flow analysis can benefit from an object-based approach. We have developed a translation mechanism that is faithful and gives an extra dimension (hierarchy...
متن کاملAutomated Object - Flow Testing of Dynamic Process Interaction Models
This paper deals with the assessment of accuracy of simulation models from the perspective of dynamic object flows. Dynamic objects (also called temporary entities or transactions) move physically or logically from one model component to another and represent entities such as aircraft, data packet, passenger, and vehicle. Accurate flow (movement) of thousands or millions of dynamic objects with...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: it - Information Technology
سال: 2010
ISSN: 1611-2776
DOI: 10.1524/itit.2010.0615